typal equality